(0 7 4)(1 15 3)(2 20 12)(5 18 17)(6 10 8)(9 14 11)(13 19 16)
ALLOWS (11/8)-SEQUENCE
1: (2 5 12)

(0 7 4)(1 15 3)(2)(5 20 12 18 17)(6 10 8)(9 14 11)(13 19 16)
2: (0 7 4)

(0)(1 15 3)(2)(4)(5 20 12 18 17)(6 10 8)(7)(9 14 11)(13 19 16)
3: (1 15 3)

(0)(1)(2)(3)(4)(5 20 12 18 17)(6 10 8)(7)(9 14 11)(13 19 16)(15)
4: (12 18 20)

(0)(1)(2)(3)(4)(5 20 17)(6 10 8)(7)(9 14 11)(12)(13 19 16)(15)(18)